Extended naming conventions for communicating processes

A Timed Failures Model for Extended Communicating Processes

Cryptographically Sound Implementations for Communicating Processes ( Extended Abstract )

We design a core language of principals running distributed programs over a public network. Our language is a variant of the pi calculus, with secure communications, mobile names, and high-level certificates, but without any explicit cryptography. Within this language, security properties can be conveniently studied using trace properties and observational equivalences, even in the presence of ...

MetaLex Naming Conventions and the Semantic Web

MetaLex XML is an interchange format, a lowest common denominator for other standards, intended not to replace jurisdiction-specific standards and vendor-specific formats in the publications process but to impose a standardized view on legal documents for the purposes of information exchange and interoperability in the context of software development. To meet these requirements, MetaLex defines...

The Evolution of Heterogeneous Naming Conventions

In the real world we observe a proliferation of regional dialects and jargons. Most of the research on naming conventions focuses on how to explain the process that allows a single naming convention to establish itself. This paper presents a different approach that aims to investigate why different conventions may emerge and coexist for a certain amount of time. The naming game is an abstractio...

File clustering using naming conventions for legacy systems

Decomposing complex software systems into conceptually independent subsystems represents a signi cant software engineering activity that receives considerable research attention. Most of the research in this domain deals with the source code; trying to cluster together les which are conceptually related. In this paper we propose using a more informal source of information: le names. We present ...